ALGOL 68

Results: 3011



#Item
31AF T Chapter 5  Programming with Dependent Types

AF T Chapter 5 Programming with Dependent Types

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-09-10 12:37:20
32Megaprocessor -Instruction Set James Newman May 2016

Megaprocessor -Instruction Set James Newman May 2016

Add to Reading List

Source URL: megaprocessor.com

Language: English - Date: 2016-05-15 10:12:42
33Science Course Pathways for Middle and High School On April 27th, 2015, a work group of science teachers, higher education representatives, administrators and instructional leaders gathered to create recommended model co

Science Course Pathways for Middle and High School On April 27th, 2015, a work group of science teachers, higher education representatives, administrators and instructional leaders gathered to create recommended model co

Add to Reading List

Source URL: doe.sd.gov

Language: English - Date: 2015-08-06 16:54:55
34CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type int*int*int, whe

CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type int*int*int, whe

Add to Reading List

Source URL: courses.cs.washington.edu

Language: English - Date: 2013-01-11 23:17:39
35The Pivot a source­to­source framework for more elegant and efficient code Peter Pirkelbauer, Texas A&M University  

The Pivot a source­to­source framework for more elegant and efficient code Peter Pirkelbauer, Texas A&M University  

Add to Reading List

Source URL: pirkelbauer.com

Language: English - Date: 2011-11-03 23:33:19
36ALGOL 60 - Chapter 6, Formal Specification and Software Development

ALGOL 60 - Chapter 6, Formal Specification and Software Development

Add to Reading List

Source URL: homepages.cs.ncl.ac.uk

Language: English - Date: 2014-08-19 19:14:29
37Can simple Natural Language Generation improve Intelligent Tutoring Systems? Barbara Di Eugenio and Michael J. Trolio Electrical Engineering and Computer Science Department University of Illinois at Chicago 1120 SEO (M/C

Can simple Natural Language Generation improve Intelligent Tutoring Systems? Barbara Di Eugenio and Michael J. Trolio Electrical Engineering and Computer Science Department University of Illinois at Chicago 1120 SEO (M/C

Add to Reading List

Source URL: nlp.cs.uic.edu

Language: English - Date: 2013-03-02 15:00:28
38Global Energy Optimization Plugin Developer’s Guide Global Energy Optimization Power Management (GEOPM) is an extensible power management framework targeting high performance computing. The library can be extended to s

Global Energy Optimization Plugin Developer’s Guide Global Energy Optimization Power Management (GEOPM) is an extensible power management framework targeting high performance computing. The library can be extended to s

Add to Reading List

Source URL: geopm.github.io

Language: English - Date: 2016-05-25 12:25:11
39From Indentation Shapes to Code Structures Abram Hindle, Michael W. Godfrey, and Richard C. Holt Software Architecture Group (SWAG) School of Computer Science University of Waterloo Waterloo, Ontario, Canada

From Indentation Shapes to Code Structures Abram Hindle, Michael W. Godfrey, and Richard C. Holt Software Architecture Group (SWAG) School of Computer Science University of Waterloo Waterloo, Ontario, Canada

Add to Reading List

Source URL: churchturing.org

Language: English - Date: 2009-04-12 14:52:53
40You	
  are	
  responsible	
  for	
  the	
  material	
  contained	
   on	
  the	
  following	
  slides,	
  though	
  we	
  may	
  not	
  have	
   enough	
  9me	
  to	
  get	
  to	
  them	
  in	
  le

You  are  responsible  for  the  material  contained   on  the  following  slides,  though  we  may  not  have   enough  9me  to  get  to  them  in  le

Add to Reading List

Source URL: www-inst.eecs.berkeley.edu

Language: English - Date: 2014-02-04 15:27:40